↑ Ebbinghaus, H.-D.; Flum, J.; Thomas, W. (1994). Mathematical logic . New York [u.a.]: Springer. tr. 50. ISBN978-0-387-94258-2. Truy cập ngày 18 tháng 7 năm 2012. However, in first-order logic we may not form infinitely long disjunctions. Indeed, we shall later show that there is no set of first-order formulas whose models are precisely the periodic groups.
